add semantics of bytearray instructions, tweak semantics of ref

Added semantics for RefByte, DerefByte, UpdateByte, Length, LengthByte.
Ref(Byte) should just replicate an initial value for the desired length,
rather than expecting length (different) values to be ready to insert already.
(Also, switch to using List.replicate rather than genlist.)