Renamed package.
Added stored / dirty logic to Rec, and more specs.