re-enable the type-checker
toAccClone: type conversions _must_ use retain surface structure
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.