Add simple yet unbalanced equality
Add type-wise balanced equality
Add view-wise balanced equality
Add README and license file.