Removing the old system.

Removes the old system and improves the consistency checking functionality.

Bangkok 2022 end.

The semantic mapping system as of the end of the Bangkok 2022 competition.

Marc Rigter Version

The system that Marc Rigter built (with a couple of type annotations from Matthew Munks).