Robot: add Eq instance
add World representation

Represent world as a transactional mutable Array. This way we can efficiently
handle concurrent world state updates.