[Typer] [Git][monnier/typer][report/els-2017] Related Work. Still mising Dylan, Nemerle CamlP4.