Fixed error in code generation for complicated comprehensions.
SendMoreMoney is now working, added it as benchmark.
Optimized matching of signature patterns

Matching of signatures for "normal" functions (i.e. no real pattern
matching needed) is optimied as follows:
- Type variable becomes a subtype check
- A literal becomes an equiality check.
Added Bottles of Beer (using string templates) as example and benchmark
Some fine tuning.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git

Conflicts:
	src/org/rascalmpl/library/experiments/Compiler/Tests/Patterns.rsc