Merge pull request #123 from frenetic-lang/dehop

Kinder, simpler dehopification + faster optimization pass Edit
push/pop dehop (can't stop) working, (most) optimizations disabled for now
merge