type Positions changed to newtype to enable redefinition of Binary instances

cache added für single element position sets
to share these frequently occurring set within occurrence maps
This sharing saves at least 3 words per cache hit, in hayoo
data this can save 25% of mem used for index maps