ochre

Copperbox revision 2741.

I've eliminated booleans and relational expressions from the K Normal Form syntax.

Booleans are cast to ints - with a corresponding change to the type annotation of variables in let- bindings. Relational expressions are translated to if-the-else expressions where then produces 1 and else produces 0.