Document new type alias features
Improve the polymorphic recursion check