Set up sbt build
Add simple yet unbalanced equality
Add type-wise balanced equality
Add view-wise balanced equality
Add README contents