Added type family and class to allow dimension-counting for Indexed things; fixed implementation of insert to use this instead. Added Cartesian as export from All. Added explanation of what's going on in the types in Indexed.