Add some interesting papers on type systems.