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
Type checking on function parameters done.
Variable init type-checking added
Comments and debug removed.
Namebinding - adding rules for Blocks
Merge branch 'afterdemo'

Conflicts:
	syntax/MetaC.generated.pp