Move away from Maybe to Bounds for determining collapsibility Also, fix a bug about updates to the clock params
Move away from Maybe to Bounds for determining collapsibility
Also, fix a bug about updates to the clock params

google/codeworld,google/codeworld,alphalambda/codeworld,google/codeworld,alphalambda/codeworld,alphalambda/codeworld