add count

Add count, a lazy version of `len`