Right-nullable transformation.
Added SymbolTraits and ProductionTraits.
Renamed Symbol.Pattern to Symbol.Input