Improve list.java, add arithm.java to learn inductive proofs.