Fixed failing dialyzer test by adding maps to erl_types:t_inf

Found that the cause of the error messages in the dialyzer map1 test
case was t_inf(#{}, #{... => ...}) = none(), added a placeholder case
for the infinimum of maps and maps to fix that.