add some test cases in type-checker.rkt