The names of the product elements
The name of the type
A linear map embedding 2D plane to ZX plane of the Minecraft space.