TypeChecking almost done