Support for comparison operators

Support ``=``, ``>=``, ``<=``, ``>``, and ``<``.
Support conditionals
Document recursion example and fix minor bugs