Removing EqDec requirements from Hcons inversion.