Improved building and parsing combinators and documentation