Moved to a simpler Algebraic data type for robot situation, modelling lost as a case.