added the 12c language, which should make examples easier to write
halfway through adding stage-1 case splitting