fix constness, add constexpr to exprs' constructors.
fix indents, add extends, default_domain