Added test for generation of '<:' (restrict to) binary expression (for maps)
Added generation of '<:' binary expression (for maps)