code: function lookupQualifiedType(qname) {
  	var t = type_env.get(qname)
  	if (!t)
  		throw new TypeError("Unresolved type: " + qname)
  	return t;
  }
docs: ---------------------------------------------------------- Name resolution (and resolution of TTypeQuery) ----------------------------------------------------------