[Push] Reserved names and active features

[PerPlex Ed]

Hello.

I'm trying to semplify my implementation but I'd like to be sure I'm doing the right thing.

Previously the parser considered reserved names all names of active instructions. This meant that the parser had to know the configuration in advance. This is harder or probably impossible to implement correctly when you use multiple related concurrent interpreters.  I re-read the language description and I guess I understood it wrong.

A Push implementation should always accept all instructions from the source code, so all names corresponding to instructions included in a given implementation are reserved. The concept of "active instruction" is used only when generating random code.

Is this right?

Thanks,

PerPlexEd