Implement Pack{tag, arity} by turning instances into globals

Probably going to turn this into a preprocessing step for code
so that Pushcons instruction doesn't have to carry a String along
with Tag and Arity components.
Fix comments for compilation schemes