More type checking

[bgregoir]

VPMULL_16u8 is accepted by the typing and then compiled to an instruction that do not exists. The point is that the instruction exists but has no semantic. The type checking should be able to remove it. The semantic of the instruction generally check some condition on the size of the arguments. This should be done in a generic way using extra information provided in instr_desc.