retain arity for let-bound vars in simplifier