Move generator insertion into its own module
Pull dot, dominates, and antidominates into Common and provide dot for AFacet
Pull Face, Faces, opposite etc. into Common.jl
Remove unnecessary import
Introduce add_facet!, but don't make it add the facet just yet