Define entity space and relationship with the typechecker