redefine terms:
- use `singular` instead of `permanent` to describe a region whose currency can be run only once
- swap `finalized`/`terminated`: use `finalized` to describe a currency that cannot execute further transitions but may be reinitialized; use `terminated` to describe a currency that cannot execute or be reinitialized
change printed glyph