Text this: A Fully Complete PER Model for ML Polymorphic Types