urgh, we shouldn't have REFRESH fixup the RType with tycon info. instead, put it in ofType
cleanup