Multiexpansion

Multiexpansion，在BEAF，是等於\(a \{\{2\}\} b\)，即是\(\{a,b,2,2\}\)。