Fixed up the closure example so that it now works.  This is pretty much the minimal example which requires an inference rule.
More tweaks