Simple expression transformer that is not Coq. - View it on GitHub