Measuring subvarieties don't need to be equidimensional and X might not
be irreducible.
Fixes #3, fixes #4