Other heap_lang related instances in that file too. Now, the tactics
file only contains stuff related to actual tactics.