Have cons/e use list/e and make explicit when using finite cons/e

Also add to-stream and make cons/e tests less specific