Attempt at retypeVar. Encountered functional dependency problem. See comments after retypeVar and convertDef definitions.