Added strings to prelude to fix printing of strings.length
This should hopefully fix
strings.length showing up in random places. I tested it with iris and RefinedC. Both compile without changes and
length is no more printed as
strings.length in RefinedC. See the comment for the reasoning why I think this works.