make the maximum length of a lemma  a constant and allow IdealForm to be changed