Documentation

Remove leading and trailing spaces.

We use spine strict dropWhile instead of the element strict version. This is more efficient for finite Strings because isSpace is expensive. The downside is that trim does not work for infinite Strings.