Removed TypeCheck code.