name-resolution.scala

@scala.annotation.tailrec
  def fetchOption[A <: Obj](obj: Obj, label: String): Option[A] = {
    obj match {
      case x if x.root => None
      case x if x.via._2.op == Tokens.to && x.via._2.arg0[StrValue].g == label => obj match {
        case _: Value[Obj] => Some(x.via._1.asInstanceOf[A])
        case _: Type[Obj] => Some(x.via._1.range.from(label).asInstanceOf[A])
      }
      case x if x.via._2.op == Tokens.rewrite && x.via._2.arg0[Obj].name == label => Some(Inst.resolveArg(obj, x.via._2.arg0[A]))
      case x if x.via._2.op == Tokens.define && x.via._2.arg0[Obj].name == label => Some(Inst.resolveArg(obj, x.via._2.arg0[A].named(baseName(x.via._2.arg0[A]))))
      case x => fetchOption(x.via._1, label)
    }
  }