Here’s a preview of a change I plan to make to IRacket soon to add language support in a context where #lang (in general) is meaningless: https://github.com/rmculpepper/iracket/pull/9