Investigate how Erlang Core handles R17 maps. There are special core instructions or patterns for this.
Added typed map sample
Tested if dialyzer handles advanced map typing like

-type map_t() :: #{age => integer(), name => string()}.

Doesn't seem so.