Basic abstractions of the Xpand language