Coq plugin for parametricity