Function subst_type 

pub fn subst_type(
    ast: &TypeAst,
    types: &HashMap<String, TypeAst>,
    values: &HashMap<String, Value>,
) -> TypeAst