Clearer error message for external trait and type

The old error message implied that external traits could never
be implemented locally.