Special-case aliases, add warning comments to implementations