SI-8325 Spec accepts infix type *

Remove the clause in 3.2.8 that reserves `*` as a postfix
modifier thing.  For emphasis, the language that an infix
type name can be an arbitrary identifier is retained, sans buts.
Merge pull request #3722 from som-snytt/issue/8325-spec-update

Issue/8325 spec update