That's not quite what I meant. I meant, maybe we should do something like this?

    (in int.k)
    syntax Int ::= Token{...} [integers]

And then the user can just say `syntax prefer '-_ > integers` if they want to add unary minus to their language.