Add detailed note about Substs to ty_enum
Fixes