Successfully merged FASingleRule and FAMultiRule back into one generic FARule.
Adding some clarification in JavaDocs.
Making it explicit that NFAs always deal with SingleState (as opposed to the DFA world, where we can work with Single or Multi states).