Refactoring to prepare for MBQI with integer quantification.  Minor bug fixes.
minor code clean up
spelling
clear up resource limit documentation
clean up file perms for new fmf regressions