Writing a DSL for high performance parallel programming in OxCaml