Initial commit of camp.
camp: Test X instruction.
camp: Use an explicit failure state.

Also add a few guards.
camp: Simplify and improve instruction-processing loop.
camp: Test ordered choice.