WYCS: beginning the process of type checking ...