Now use only type resolve for type arithmetic. Notably, do not create a new type, so that special types are presevered.
Now use only type resolve for type arithmetic. Notably, do not create a new type, so that special types are presevered.

civol/HDLRuby,civol/HDLRuby,civol/HDLRuby