Steps toward sums.
first pass at moving Pins into (:>) and supporting sums.
Move Pins into the category. Eliminated BoolT. Added early sum support.