Remove dec_agree and cofeT and use Coq #[deprecated] attribute for iAlways Closes #296 See merge request !477