A large number of changes to the checker, adding in support for list relations, and fixing bugs with default functions, varargs, and subscript operations
Merging in newest changes
Merging new changes from recent pull to keep branches in sync.
Merged in recent parser changes, fixing any erors this induced in the checker
Merge branch 'master' of github.com:cwi-swat/rascal