Add compilation type checks (hex/bit, with/out n)

[tomhea]

Check in compilation time if you misuse a macro:

• use a hex macro on a bit variable, or vice versa (2 checks).
• use a "n" macro (first parameter is "n") on a hex.hex and not a hex.vec. or use a non "n" macro on a hex.vec. or those two for the bit namespace (4 checks)

It can be in a '-t' (--type_check) flag that's by default is true, in the assembly function.

It will fix a lot of future bugs in development, as a common bug is using a non-"n" function on a vector variable.