overlapping test modified for lounge/hallC problem
Fairly significant refactoring; bit-encoding can now be selectively
disabled (for parsing/compilation/analysis steps only)
Update and split apart all examples