Propagate the flags of the expression attributes.
Add a global module initialization function.

Also, add an attribute `value' of type IR::Expr to
the ExpressionAST node.