Start notes for second talk.

Eliminate the four different kinds of LF types in favor of just one: "type";
they were expression, judgment, judged_expression, and
judged_expression_judgment.