Flix: an effect-oriented, functional, imperative, and logic programming language