Cleaned up diagnostic messages

Removed duplicate and unused messages.

Note: The commit relating to unused diagnostic messages can be used as a reference for potential feature gaps.
I think ideally we would have a specialized error for type arguments, but it doesn't matter that much.