Improve typedefs typing for expressions

[arian]

typedef int32 x;

void a(float32 b[], int32 c[]) {
  ((x) 1) + 2;
}

Gives a warning on the binary 'add' expression, while it shouldn't, as the left hand side has type x, which is aliased to int32, which is compatible with 2.