varinst is an instance variable, MiniJava does not admit class
variables.
Fixes #18.