Thanks Aaron for posting the notes and Rajan for taking them.
There was mild mangling of what I said, but it is mostly error-correctable by readers.
I feel that some important points did not translate though. Regarding the same-versus-different names, this was what I said (I had it written):
When users use a name in a program, they intend certain semantics -- it doesn't help to use the same name for different semantics or use different names for the same semantics. Not being consistent in avoiding the unhelpful situations leads to proposals that mistake one situation for the other.
-- HT