nats/e -> nat/e
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
Partially implemented mixed fin/inf list/e
Fix bugs in tuple reconstruction and slice/e