trans: add Datum kinds for "Copy rvalue" and "Copy rvalue or any lvalue".
trans: use CvalOrLval for locals, avoiding allocas for immediate copyable arguments.