Extend substitute() to handle more than just TVars

[kevinbarabash]

The old way of widening types involved mutating type objects. This PR avoids that by giving each type object an id and allowing them to be substitute using the same mechanism as TVars.