Implement continuation marks.

Untested, but mostly typechecks.

I can't figure out what the current translation error is about.