module Delay now exports monad and (applicative) functor operations for Delay monad.
beta- and long normal forms using spines added to module Term
a first version of reification into beta-normal forms using typed values (no proof yet)