Added missing license headers, added specific DFA/Mealy classes for saving generic arguments, added SUL cache