add Type Checking(types.c, types.h)