Structural Reasoning with Rational Expressions