mtac2: remove the [Rel] hack, we now send proper evars to Coq