[Typer] [Git][monnier/typer][eq-cong-eq-trans] Add a few logic functions.