Add QuasiSlice #72
Description
Note that Inclusion should be split into two types, QuasiSlice and Inclusion. At the moment some of the code assumes that an Inclusion is equivalent to QuasiSlice (that is, :) which is why you are seeing these bugs. I just haven't had a need to fix it.