The Univalence Axiom for Elegant Reedy Presheaves