Fixed type error
Just one empty set now (thanks @davylandman)
Added Sudoku benchmark
Merge branch 'master' of https://github.com/cwi-swat/rascal.git