Mode declarations shuffle.
Mode declarations adjusted.
Better formatting for statements.
Determination definition updated.
Properties extended.
Removed the non-observational concepts.
Removed the argument specialization.