Opal programming language and reference implentation