There was no point in hoping
I got a first executable version as expected. But I couldn't squash all bugs today: there was no point in hoping, I guess. I will continue this tomorrow. Once I have finished this, I will add the syntactic sugar to the language to support 'usable' records and variants (with access to more than one element at a time). Then I will have to add support for lists. I am not sure yet what base operators for list I should support (comprehension concatenation and head maybe). I will have to think about this a bit more, and look around for papers about it.