Compatibility import for unit-square corollaries

This module preserves the former public import path for unit-square corollaries. The declarations now live in TauCeti.NumberTheory.EffectiveBounds.UnitSquares.Basic.