more fixes -- must import Data.Set to play with Set
Niki: see tests/pos/fixme.hs