[Typer] [Git][monnier/typer][ja/various_fixes] 6 commits: Get rid of attributes on builtin.