Coq plugin for refine which does not perform type checking.