Convert many examples to java backend

**do not review yet**
If -> is strict, then the unification rewriter will attempt to heat type variables, and never terminate.unless you specify some kind of strategy. This was the solution that I found. I agree strictness is nicer, but I don't know how to make that work with the current form of the tool.