checks
Classes 
Snotcheck
Exceptions 
ActionFailure
BoolException
CheckException
DecListFailure
IStepException
StepFailure
TransitionFailure