Fix some typos, etc., in comments.
Just found some comments needing minor adjustments while reading Simon's massive "Tame the Kind Inference" commit.
Just found some comments needing minor adjustments while reading Simon's massive "Tame the Kind Inference" commit.