Coq plugin for making terms self-contained