Typing judgements for values.  Fixed some other small bits.