Moved Type.Context to Context.
Removed FocPol axiomatisation.
Changed things in decidable.