After we moved on from Lean v4.23, the `BuiltIn` workaround types became obsolete, as they don't come from actual Lean environments anymore.
After we moved on from Lean v4.23, the
BuiltInworkaround types became obsolete, as they don't come from actual Lean environments anymore.