made pair destructor plugs, refactored Core plugs shorter
finished converting samples, one postulate (needed for rippleCarry) left