Enforce unique aliases

Fixes #910