Import Lamdu.Expr.Type as T
Type.{Type=>}Var, Type.{Type=>}Id, Type.{Type=>}ParamId,
Type.Composite{Type=>}, Type.CompositeVar instead of Type.ProductType