added a toy for playing with finite sets that may grow up to be a category