Remove TypeChecking.Simple