Fix zext and trunc instructions
Use new function of bindings to enumerate types