code: function compatibleTypes(x,y) {
  	if (x === y)
  		return true;
  	if (x instanceof TQualifiedReference && y instanceof TQualifiedReference)
  		return x.qname === y.qname;
  	return false;
  }
docs: -------------------- Types --------------------