pub type TypeSubst = HashMap<String, Type>;
Type substitution map: maps type parameter names to concrete types
pub struct TypeSubst { /* private fields */ }