Add missing bounded dynamic cases in occurrence

Summary: The case `BoundedDynamicType` was missing in some places in `Occurrence`, leading to incomplete refinements. Adding those.

Reviewed By: ilya-klyuchnikov

Differential Revision: D62571460

fbshipit-source-id: 3d87359db239932dbfbdc220736cb54b2b2631a7

test_projects/eqwalizer_tests/check_gradual/src/dynamic_fun.erl

@@ -189,3 +189,9 @@ map_f4(F, Ts) -> lists:map(F, Ts).
 
 -spec map_f5(fun((term()) -> atom()), [term()]) -> [atom()].
 map_f5(F, Ts) -> map_f4(F, Ts).
+
+-spec union_funs(eqwalizer:dynamic(fun((atom()) -> ok) | foo)) -> ok.
+union_funs(F) ->
+    case F of
+        Fun when is_function(Fun, 1) -> F(abc)
+    end.