Add a strict version of length

Add a version of length that uses strict folding, and also omits the superflous variable binding in the accumulator.