A simple language for the JVM