Improved checkers.
Added named transitions.
Improved validation of values.
Improved codebase.
Updated requirements.