Bash statements and expressions. The statement tree is a functor,
supporting arbitrary annotations; this is intended to support analysis of
effects and privilege levels as well as commenting and arbitrary code
inclusion.