Now takes lemma_type