Statemachine type check added.
2 Examples added
metac.str updated.
Merge branch 'afterdemo' of https://github.com/metaborg/metac into afterdemo

Conflicts:
	Statemachine/test/examples/Simple/SimpleStatemachine.mc
Working examples