Add a couple of files for an article on type inference