The J programming language from J Software