Don't print the underlying type for @opaque

Closes #2612