Add `included?', `take', `split' and `snd-fst' prelude operations