The library directory lib_Type contains variants of all modules where SET, TYPE, TYPE_minus1 and TYPE_minus2 have been replaced by Type. This is a temporary patch to support true typical ambiguity.