• Add support for automatic conversion between natural numbers and peano-encoded lambda terms
  • Improve syntax-error reporting