Get rid of some useless parts and add typechecking tests in Makefile as test_tc