dialyzer_typesig: Use a map instead of a dict for `prop_types`
dialyzer_typesig: Use a map instead of a dict for `prop_types`

Also simplify the state__add_prop_constrs/2 to always return a
state. Its only caller does not need to know that the function can
never be called.

Also remove a clause in state__prop_domain/2 that would never
match and would generate a opacity violation warning.

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