subordinate pullbacks module under category
Separate out the framework / setoid kits etc into kit folder