Define the options specified in the language specification
Rely on closures for instructions instead of explicitly passing Stacks in