bring interfaces.org up-to-date
remove quote-functor-old.rkt
comment about pat iface in env.rkt