Added the logo file. Added Modular Implicits paper.