Passing a type parameter to a tag constructor that doesn't expect one isn't checked

[marijnh]

Instead, you get an index out of bounds error in typeck. This should probably be checked and properly reported. (I didn't check with non-tag-constructor functions, the same problem probably exists there)