fixed infinite loop in set pattern matching, but the optimization for
singleton patterns now
does work for fewer kinds of patterns
Merge branch 'master' of git@github.com:cwi-swat/rascal.git