expressions
expressions.bexpr
logical tools for logic
cli
definitions
errors
tables
transformations
trees