Created unit test module for type checker