porting LemmaExt to work with new HList.