Better names for concat and split size bindings.
Rename after the index-inliner.
Fix freeInBody.
-O no longer exists; use -o in test suite.
Fix dead-binding detection in Rebinder.
Fix copyCtPropExp case for Index expressions.
Improve size annotation support in type checker.