Packs+implementation

I think a lot of stuff I have been adding is implementation, hmm, maybe just a set of pointers here: