[meta] Make TypeVar shareable and mutable;
[meta] Make TypeVar shareable and mutable;

... since its type set can change over time during type inference. Use a
Rc<RefCell> to achieve this.

stoklund/cretonne,stoklund/cretonne,stoklund/cretonne