Some readability enhancements.
Some comments.
Readability of typing rule.
More comment formatting.