Added hints to metavariables
Improved generalizeType to default boxities to star
Improved a variable name in the interpreter