Added read-format(format) -> [FMT(format)].
Simplified CriticalConstruct (and friends).
Added labels.
Fixed Rule # in comment.
Fixed Rule # in comment.