Doc Updates & Source Added

Updated some typos and things on the document.

Added the beginning of something that can actually translate the given
type signatures into an AST format.