there’s no way to import racket/hash in that case, right? (so any dependencies I have on libraries that include contracts and/or syntax objects, I’ll have to re-implement their functionality)

That’s correct.

Gotcha, thanks!

On a related note, is there a version of match that doesn’t depend on contracts and/or syntax objects?

No, I don’t think so. The expander and schemify implementations uses matchers, but they’re small custom ones.

Cool, that’s helpful though, I’ll take a look at those implementations.

I see this question got answered here.

For match, I have a draft PR that makes match work

After I return from vacation in a week, I can take a look at finishing that.