Refine derived confluence tests

[isovector]

Right now confluence laws will generate things like [a] = pure a, which just waste test cycles. We can refine the tests by ensuring that at least one function or constructor comes from the current package.