Equality

[heades]

There are three types of equality we can do:

• Ignore holes
• Ignore hole indices, but consider filling
• Consider hole indices + filling