Convert many examples to java backend

**do not review yet**
ooops, right.  Hm, tricky.  We definitely need different notations for them.  `_1` looks like a variable and not like a constant.  I like this notation for variables.  For constants we should want something else.  Maybe `#1`, to indicate that it is a "builtin" thing?