Introduce notation "ref^{type}".