Corrected dependency of orderable.h.
Cleanup in the prelude.

Many ugly implementation details were moved to an 'implementation/'
subdirectory. Also some layout and documentation fixes, and a few other
tidbits.
More convenient syntac for gen_seq.
Updated missed references to tuple_apply and gen_seq.
Identity type transformer.