add some references
Starting to work on Voevodsky's new idea for "witnessed judgments" (or
"extended statements").  Haven't broken any previous code yet...