Updated about
New post on bidirectional type checkers
Fixed some of the more obvious typos