layout hints
ones and zeros
clean handling of optional parens
streamline
move from infix notation to prefix notation to refine block semantics