dialyzer: Limit depth of types at creation time
dialyzer: Limit depth of types at creation time

When translating forms to types, there is no need create types that
are deeper than needed. The maximal depth currently used is 5, in
dialyzer_typesig.

potatosalad/otp,g-andrade/otp,g-andrade/otp,isvilen/otp,jj1bdx/otp,mikpe/otp,dumbbell/otp,isvilen/otp,bjorng/otp,vinoski/otp,dumbbell/otp,rlipscombe/otp,dgud/otp,dumbbell/otp,bjorng/otp,dumbbell/otp,g-andrade/otp,dumbbell/otp,isvilen/otp,isvilen/otp,erlang/otp,bjorng/otp,isvilen/otp,dumbbell/otp,jj1bdx/otp,rlipscombe/otp,getong/otp,erlang/otp,isvilen/otp,isvilen/otp,bjorng/otp,getong/otp,dumbbell/otp,erlang/otp,emacsmirror/erlang,rlipscombe/otp,mikpe/otp,mikpe/otp,rlipscombe/otp,g-andrade/otp,rlipscombe/otp,isvilen/otp,jj1bdx/otp,rlipscombe/otp,jj1bdx/otp,bjorng/otp,dgud/otp,potatosalad/otp,dgud/otp,emacsmirror/erlang,potatosalad/otp,bjorng/otp,bjorng/otp,isvilen/otp,emacsmirror/erlang,potatosalad/otp,mikpe/otp,dumbbell/otp,dumbbell/otp,erlang/otp,jj1bdx/otp,potatosalad/otp,getong/otp,rlipscombe/otp,vinoski/otp,getong/otp,getong/otp,dgud/otp,jj1bdx/otp,jj1bdx/otp,potatosalad/otp,vinoski/otp,getong/otp,potatosalad/otp,vinoski/otp,jj1bdx/otp,vinoski/otp,dgud/otp,g-andrade/otp,jj1bdx/otp,emacsmirror/erlang,getong/otp,erlang/otp,erlang/otp,g-andrade/otp,mikpe/otp,emacsmirror/erlang,bjorng/otp,g-andrade/otp,getong/otp,dgud/otp,dgud/otp,emacsmirror/erlang,getong/otp,vinoski/otp,vinoski/otp,dgud/otp,dgud/otp,emacsmirror/erlang,rlipscombe/otp,potatosalad/otp,mikpe/otp,erlang/otp,emacsmirror/erlang,getong/otp,potatosalad/otp,mikpe/otp,emacsmirror/erlang,jj1bdx/otp,g-andrade/otp,g-andrade/otp,mikpe/otp,bjorng/otp,rlipscombe/otp,mikpe/otp,vinoski/otp,vinoski/otp,rlipscombe/otp,erlang/otp,potatosalad/otp,erlang/otp,bjorng/otp,mikpe/otp,isvilen/otp,emacsmirror/erlang,erlang/otp,dumbbell/otp,vinoski/otp,g-andrade/otp,dgud/otp