A guesswork implementation of erl_types:t_unify/3 for maps.