pub fn expand_type_rec(ctx: &Ctx, a: Rc<Type>) -> Rc<Type>