The Mythryl programming language