Initial tests for TypeChecker