add morph lemma implementation