Convert many examples to java backend

**do not review yet**
Can't you make the `->` construct strict or at least strict(2), so we can write the RHS in the rule above as it used to be?