Add [reshape] function on lists.
Misc prelude changes.
Prove correctness of a version of memcpy external to the memory.