Adds better documentation and additional example code.
Also refactors safety constraints and adds some action-based constraints.
Adds better documentation and additional example code.
Also refactors safety constraints and adds some action-based constraints.