[Typer] [Git][monnier/typer][master] * samples/hott.typer: New file