[Typer] [Git][monnier/typer][unification] * GNUmakefile: Merge changes from Makefile