Make some of the `wp_` tactics language independent
A large part of wp_bind
, wp_pure
, wp_apply
and wp_simpl_expr
is duplicated for each language Iris is instantiated with. It would be good to factor out some part of the code.
Edited by Robbert Krebbers