Added ITE as a first-class expression
Coding up a much too complicated ownership transfer mechanism
Introducing new simpler specifications for move
JUnit libraries
Debugging datapaths
Partially introduced generic regions, fixed region move algorithms, debugged regions...