added behaviour
added behavioural semantics
added behavioural semantics and cleaned
Yes Yes Merge branch 'master' into Experimental

Conflicts:
	Makefile
	Operation/Compliance.v
Yes Merge branch 'Experimental'