Start work on CPS translation, add new halt expression