Updated TypeChecking

6/15