[Typer] [Git][monnier/typer][bosn] Added draft file presenting the theory behind Typer plus the file's dependencies