Print CFGs more readably.
Allow strictness to be overridden for individual expectations.
Add expectations for collection objects in the compiler, and let subtypes be accepted by conditions.
Properly connect the new nodes together, instead of setting the forward link but forgetting to set the backward link.