Define map on HList (HMap)

And use it for a zipper only focusing on fully applied terms in all
frames. That doesn't allow focusing on non-rightmost children, though.
Enable PolyKinds

That's not a conservative extension apparently, so I needed to change a
few signatures.
Enable Travis