re-disable the type checker

Although ToAccClone is now correctly generating the correct type structure,
since ETupProject is defined on a flat structure the type gets prematurely
flattened and hence can not be used for purposes of type checking.