typecheck method added to TypecheckImpl
JavaUniverse added to ReflectGlobal