Removen unneeded field from ClassBodyParser.
Removed uneeded TypeType ref from ClassType
Introduced automatic generation of type equivalent environments.
Java Interop: added checkCast method.