Use Monoid Text instance to get rid of Text.append
Implement CEK machine
Implement CEK+go with non-local control flow (here/jump)