Update files to work wiht ForgettingDictionary

All files updated to now work with ForgettingDictionary. Currently
implemented that all functions use a Dictionary with a size limit
of 10,000 WMEs