gistfile1.txt

trait Universe {
  type Tree
}

trait NscContext {
  type Tree = universe.Tree
  val universe: Universe
  def macroApplication: Tree
}

class Context(val c: NscContext) extends NscContext with PalladiumContext

trait PalladiumContext extends NscContext with Universes {
  self: Context =>
  import universe._
  val c: NscContext
  def macroApplication: OurTree = wrap(c.macroApplication)
}

trait Universes {
  self: PalladiumContext =>

  object universe extends Universe {
    type NscTree = c.universe.Tree
    type OurTree = Tree
    class Tree(val t: NscTree)
    def wrap(t: NscTree) = new OurTree(t)
  }
}