New meta-var representation

We need a representation that is atomic with respect to the
vector-zipper since otherwise, we'd end up replacing parts of the
meta-var when doing 'anti-unification'
Implement first version of anti-unification

Also: a few very simple tests