Varv Reprogrammable Interactive Software As A Declarative Data Structure