[]: funcs which result in bools based on conditions, and the all the supporting funcs to enable conditions
[]: use events for showing which actions are being executed
Many things will change after info-structure DSL:
[]: transitions are actually directed edges []: states are nodes with attributes to actions however, actions themselves are supposed to be nodes too
we want elegant hfsm - state machines within states
