Renamed files. Added Maybe to DFAs.