Mutable lists of variable distance

[SSoelvsten]

Since no example of ours include a mutable list of type list(float[∗]) , we do currently only support immutable lists of that type. One quickly realises though, that removing this restriction is not an easy endeavour when concatenation and the empty list comes into the picture.