Added support for subscripting concrete types, modified some existing code to avoid explicit checks for sort, iter, etc, resolves #451
Merge branch 'master' of github.com:cwi-swat/rascal