- Term disjunctions for vu-narrow
- Variant folding for vu-narrow
- Show frontier/most general states/path for vu-narrow
- States may now subsume their ancestors in vu-narrow
- Extra built-in operations for strings
- Initial equality operator handles more cases
- Reading from stdin steam supports continuation lines