This is a thin wrapper around Idris' native
Data.Buffer.
Its sole purpose is to make out-of-bounds access slightly less likely,
by indexing the buffer type (which we'll call SBuffer)
with the number of elements and the element type — much like Data.Vect does.