Forbid constraint wildcards

Only named wildcards that also occur in the monotype and an extra-constraints
wildcard are allowed.