TypeChecker, and basic program execution (very rough!!!)