Implied spec CSP now type checks