Achieving fluency in modernized and formalized Hohfeld: puzzles and games for the legal relations Language