Change verifyFiniteGet to use a substantially different interface.
Do the same thing for verifyFiniteJoin.  Get rid of the Bounded/Enum requirements.