Replaced incorrect usage of type (i.e. using a type larger than the one we are representing), typically int -> byte. Also added three new instructions.