Measuring families on manifolds.

The statement in the constructible setting also only needs to be checked
for sufficiently many submanifolds. Fixes #12.
family → collection
Thank the referee.

Resolves #13.