Implementing a Functional Language for Flix