* Make all of the refineAbstractType functions work identically