Adding the necessary hooks to handle tactics in terms.
Actually adding the grammar entry to handle tactics in terms.