Fixed multiple errors in the type checker, including errors with varargs functions, plus fixed errors in rendering strings for Rascal types in symbol adapter
Merge branch 'master' of github.com:cwi-swat/rascal