Add rule Makefile : TypeCheck