Transition inscriptions augment a transition's behaviour.
The inscriptions defined in this package are by no way
exhaustive, but represent the most commonly used inscriptions.
All classes in this package are expected to be called within
simulation threads. But since inscriptions are not used from
outside the engine or compilers, we did not bother to insert
thread assertions.