started work on instructions for specifying the value types