Add Bruno's Implicit Calculus paper