Spec verifier for early detection of invalid export arity

> It looks like you want to use a not :)

Yeah, it was just not cute :-/