Implicit Propagation in Object Algebras (Scala macros)