Separated syntax & semantics for type theory, other small changes.
Began wumpus world.
Typographic and grammatical corrections.
Changed spacing.