Make Preterm’s public API a bit richer.
Make numheap’s dependencies include Defn.uo
Work on issue #112.

I’d like to nail the behaviour on the last test-case in
github112Script.