handle 'Vcode' in 'push', but do not dive inside, treat code like literals:
handle 'Vcode' in 'push', but
do not dive inside, treat code like literals:

prompt> let foo (a :: Code Int) = [| run a |]
prompt> foo (lazy 5)
[| run (%a) |] : Code Int
prompt> run (foo [|42|])
42 : Int

Looks ok to me.
cartazio/omega,minad/omega