add state monad for array: function create
Improve test for prim op: remove « is_int (uint 0) »