proper type system

[Nic30]

Current implementation derives the type of the operator result in very simple way. On the top of that the types are not actually checked.
You can for example assign 32b vector to 64b one without any warning.

Each hw type has to have virtual methods responsible for this check and resolutions.