update: working on test cases for type checking