use explicit names for instruction encoding (instead of basic integers)

use explicit names for instruction encoding (instead of basic integers) #455