LGPL v2.1
translate typing rules with formulas to rules with instructions
LGPL v2.1
translate typing rules with formulas to rules with instructions
translate formulas to linear list of instructions with explicit dependencies
add tests for TS
Merge commit 'cf647efd6f7cd7d6f1e984c8e12b731a04766b48' into instructions
Merge branch 'master' into instructions

Conflicts:
	org.metaborg.meta.lang.ts/editor/TypeSystemLanguage.generated.esv
	org.metaborg.meta.lang.ts/syntax/TypeSystemLanguage.sdf
	org.metaborg.meta.lang.ts/syntax/TypeSystemLanguage.sdf3
	org.metaborg.meta.lang.ts/trans/Module.pp.generated.str
	org.metaborg.meta.lang.ts/trans/PP.pp.generated.str
	org.metaborg.meta.lang.ts/trans/Relations.pp.generated.str
	org.metaborg.meta.lang.ts/trans/Terms.pp.generated.str
	org.metaborg.meta.lang.ts/trans/TypeFunctions.pp.generated.str
	org.metaborg.meta.lang.ts/trans/TypeSystemLanguage.pp.generated.str
	org.metaborg.meta.lang.ts/trans/Vars.pp.generated.str
undone first attempt to translate to instructions
Added relations example.
Added type functions example.
tweak examples
add Bind and Project propositions as special case of Match
translate formulas to instructions and instructions to stratego
generated files
fix bug

forgot constructor in match
disambiguate module identifiers
fix bug in instruction generation for Else case

else (error case) instruction should not be a dependency for continuation since it fails when there is no error