Support conditionals
Document recursion example and fix minor bugs
Update README top-level description