Goal:
    A : Type  l : list (option A)  f : A -> A
  ============================
   (map_option_out (map (option_map f) l) =
    option_map (map f) (map_option_out l))


DEBUG:Going to execute:
induction l; simpl