Add fundeps to GIxed'

These fundeps are required for the instances of GIxed
which rely on GIxed' constraints in their context to
satisfy their own fundeps