rel to #45, turns out we do actually already prove the more general preservation statement
rel to #45, turns out we do actually already prove the more general preservation statement

hazelgrove/hazelnut-dynamics-agda