Lean.Meta.Grind.Order.NodeId →
  Lean.Meta.Grind.Order.NodeId →
    Lean.Meta.Grind.Order.Weight →
      Lean.Meta.Grind.Order.Cnstr Lean.Meta.Grind.Order.NodeId → Lean.Expr → Lean.Meta.Grind.Order.OrderM Unit