Postulate deceq

Just removing a couple of needless restrictions which don't affect sharing. There's no need to check inside types for unique type usage, or in pattern LHSs.