Added State class. Enough classes methinks for an NFA.