Organize algebra package around Statement as the main abstraction.
Use error reporting.