added support for fresh terms

anyterm.fresh creates a copy of the term with fresh variables
added doc for fresh terms

also incremented suffix length to get a reasonable high number of
possible variable suffixes