simplification: only big-step for now (for simplicity)
simplifications
Representation of expression via stacks (closes #2)