Revert "+ TypeChecker"

This reverts commit 1ea7118a2a01d98163cdd61a9a21535cccf892da.