An implementation of Dr. Ligatti's DJ (Diminished Java) language in Ocaml