add delayed length lemmas
merging...
patch for regular expression intersection caching
fix for regexp union rewriting
bug fix for pierre 0717