delay evaluation of most types (all but func) from parse time to type check time. R=ken OCL=31585 CL=31585
