[WIP] An experimental functional programming language