Tau Expressions

virtually merged map (maybe materialized, maybe not)

	map1.xtm + map2.ltm