fleshing out equality
MST, Idenity, DisjointSets and more
Fleshing out layer UI