Multi dimensional lists: Typesystem of lists does not reflect upper bounds of inner lists

[arimer]

Expected behaviour The amount of elements in the inner list should not be limited and no error should be present.

Current behaviour