Check lazyness of datastructures #1057
Description
It is probably beneficial to default to Strict data types, before constructing the case to convert them to Lazy.
A number of places in the code use Lazy data types, which seems like by accident (do not remember any mentions why lazy containers are used).
A bunch of places probably use Lazy data structures, where Strict would be a better fit.