Added possSpots and refactored
Added spotsInCommon
Added subset
Added unitIntersectionUnitNum
Added unitIntersection and supporting functions
Moved (##) up and added cartProd
Made Unit an instance of Eq
Added doStep pattern for UnitIntersection
Added unitIntersection to inferences
Removed python for now