Interval Arithmetic Tactics - Infrastructure

This module provides infrastructure for the interval arithmetic tactics:

• Types: Core data structures
• Norm: Goal normalization
• Extract: Rational extraction
• Parse: Goal parsing
• Diagnostic: Error reporting
• ProveCommon: Shared utilities

The main tactics are in LeanCert.Tactic.IntervalAuto.