Fixed loc_lessequal_loc
Fixed loc_less_loc
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
added support for top field and start symbol to type checker
Merge branch 'master' of github.com:cwi-swat/rascal
Check on assignment of patterns to names now uses comparability versus subtyping, resolves #472
Merge branch 'master' of github.com:cwi-swat/rascal
Fixed an error in adding conflict items into the type environment
iter sorts are now enumerable in the checker
Merge branches 'master' and 'muAnd-muOr' of https://github.com/cwi-swat/rascal into muAnd-muOr
Backtracking with ==> and <==> boolean operators.