Improve diagnostic message for C-style type syntax

Supplemental PR for #4021