+ Add tests for universe sets.
~ Add warnings to docs.
~ Fix fin matching.