Updates to type provider infrastructure

This improves strictness behaviour, makes prim__readString work more like the C code, and makes test026 work with the improved prim__readString.