Port HeapLang tactics to more efficient style
The heaplang tactics do not use the match
trick to avoid additional proof mode context arguments. They should be rewritten in the style in !248 (merged)
The heaplang tactics do not use the match
trick to avoid additional proof mode context arguments. They should be rewritten in the style in !248 (merged)