Reviewed type checking.  Added simple methods fold/map/filter