logic bugfix
added test for remaining portions of TypeChecks