added constraints NOT TESTED
added constraints TO BE TESTED
changed event syntax to be more intuitive
added documentation (not complete and to be tested)
edited README
changed tutorial
tested and edited constraints: now working
events on transition not mandatory
changes in tutorial