compiler: Properly support Map aliasing

Matching of type:

    #{K := V1} = #{K := V2} = M,

Will alias (coalesce) to

    #{K := V1 = V2} = M.
compiler: Update test for Maps aliasing