[Typer] [Git][monnier/typer][bosn] Contextualized notation for Typer's compound terms and CCw