removing 'raises "arity"' in favor of 'raises-satisfies E.is-arity-error'