#1 better JAX.make, new methods in JAX.Element, fixes