Overhaul or scrap aliases

[zrho]

Aliases are currently unused and limited in functionality. Should we keep them around? If so, we should allow aliases to refer to arbitrary terms that are not types. This is already possible in hugr-model but can not be represented yet in hugr-core.