More defensive bitstream handling.
Add new printing method and default visitor.
Avoid confusing with size().
Facilitate AST construction.
Implement sub-tree caching and non-blocking conjunctions.