Implemented generalizeType; now using it in :t