The Types of Pockets, a Pocket Dictionary