Minor tuning and fleshing out of the language reference.