@(bind x 1)
@(bind y 2)
@(rebind z (x y))
@(bind (a b) (0 1))
@(rebind (a b) (b a))