Remove trailing whitespace in source files.

Register allocator improved.

I've changed the way tail-recursive functions are defined.
They are now defined based on a step function:

step: 'a -> 'a + 'b

Tail-recursive functions loop until their step function
returns something in the right component (INR).