Add `++' and `append' to the prelude