new version

* better ordering of argument-flattening
* better inlining and specialisation control
* switch-constant-folding is constant-folding
* -abbrev flag for abbreviated layout of effects
* improved layout of MulExp expressions
* improved layout of RegionExp expressions
* disable aggresive optimisations for ReML
* change type of __equal_ptr to be more generic
* avoid extending live-ranges
* support more than 6 arguments with auto completion - fixes #192
* application convertion for JS-backend
* new manual
* fix bugs in Socket.recvVec

merge

new file

new version

* fix optimiser bug with selection of tuples containing tuples
* barry cleanup

* con0-folding
* logging support
* version bump

simpler pretty printing of boxity decisions

version bump

cleanup and new version