Removed old unused code emitting calls to non-existent methods
Typecheck instructions are supported for reified parammeters