use state monad in satchmo backend
add clause-length histogram