Rewrite to use a single stack type for evaluation and compilation/execution.