Execute a struct component initializer.
(exec-struct-init init env limit) → nameval+env
We execute the underlying expression, obtaining a value and a possibly updated environment, and we lift the value to a name-value pair.