module container_locomotion
  depends on container_motion, locomotion

  sort declarations
    go_through :: move_through, locomotion
    enter :: move_into, locomotion
    exit :: move_out_of, locomotion