Boolean algebra and symbolic rewriting engine for resharp regex.
Provides regex node construction, symbolic derivatives, nullability analysis, and algebraic simplification via rewrite rules.