Added a couple of prelude sequence operations