Currently "declare a:integer; b: packed integer; a = b" is fine, but "declare a : structure {x,y:integer}; declare b : packed structure {x,y:integer}; a = b" is not.
Consider allowing assignment of packed structs/unions/arrays to their unpacked counterparts and vice versa. This will be equivalent to e.g. standard procesures "Pack" and "Unpack" of Pascal or "BY NAME" structure assignment or PL/I.
No plans to allow e.g. casting a packed structure to unpacked and back - let packing/unpacking assignment be an assicgment statement standing out on its own.
