Code

Introduce notation "ref^{type}".