Make hyperedge and vertex classes.
Remove FORCE strategy on homomorphism.

Will come back on this later.