add type-checking.c to the build.