instrumented environment.
Smelly, Wumpus updates

Stench(t) -> Smelly(t)
Added Smelly(t) -> Stench([x,y]) generalization
Changed At(Wumpus, ...) to Wumpus([x,y])