Just to disclaim, Ur-Scheme, which I wrote in February 2008, is not related to Ur or Ur&#x2F;Web, which are from later that year.  Ur is far more interesting than Ur-Scheme, and Adam Chlipala is a programming demigod.