Type checking functions typo error fixing. Pucong adds new testing rules for the six default type checking functions. They are guranteed to work:)