Make check_arity not require remembering what the values stand for