fundamental methods: Term.tpe, Ref.src and Type.sig