String type based on Bigarray, for use in I/O and C-bindings.