WYCS: adding support for type checking functions and their bodies.