Remove `BuiltIn`-related data from `Ixon`

[arthurpaulino]

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