No more specifying a second type!

Resolves #27.

* Added an additional class to handle one type and the bridge code to
produce the EqualitySieve class with two types.
* Updated the unit tests to run without an additional type parameter.