changed the name of the visitor generator. Tweaked documentation here and there. About to embark on precis files -- keep proceeding in the math expression/type theorem decl world