Link the type of aliases.

They are not more or less "well typed" than GlobalVariables.