Move key types into World module

Move Left_Or_Right, Sense_Dir, Condition, InsState and Instruction so
that they can be used by modules that import World. Added mkMarker to
construct Markers from Integers.