Add <* class="term> highlighting