Document the memcpy transfer function

memcpy is treated specially because LLVM lowers struct
assignments to a memcpy call.
Treat any Argument src to memcpy as an input parameter

This was missed in one case before.
Remove some undefined values

These can be safely replaced by empty summaries (mempty).
Formatting