Added OrderingInfo, and wrapped states into a Grammar class.
  - refactored NullabilityCheck
  - added 2 tests that are not yet connected to ktest