Fix serialization to write number of symbols instead of section size in the header. Fix a bug with the serialization of PUSH UNIT.
Fix opcodes for instructions ALLOC and STORE.
Add several primitives to the initial environment