fn straight_types(
    movements: &[MovementID]
) -> (Vec<MovementID>, Vec<(MovementID, MovementID)>)