Convert many examples to java backend

**please review**
because we aren't actually relying on equalities down at that level. Once we go that deep, it becomes the built in unification.