fixed #222, and added support to pretty print seq and char-class symbols
Merge branch 'master' of github.com:cwi-swat/rascal