Make def global

* Get rid of the `jim.` prefix

[Finishes #78428206]