Index space

@vdumoulin There was a small bug in the merge from this morning, sorry, I should have checked better. The comparison operator (==) crashed when comparing IndexSpace to another space. I also made some error messages a bit more informative.