Trick names

A trick name is vocabulary — what people call a trick. Open a name to attach it to a semantic trick (the motion it means) and to a definition (the constraints that motion satisfies).