Remove dec_agree and cofeT and use Coq #[deprecated] attribute for iAlways

Fixes #296 (closed)

I also just deleted things that have been in deprecated.v for years we cannot use #[deprecated] for all of them as old Coq did not support that attribute on Notation).