(compiler: pl0): implement type promotion rules.

Ref: http://www.eskimo.com/~scs/cclass/int/sx4cb.html