Propagate types through long expression nodes better
Propagate types through long expression nodes better

Specifically, allow making sure that the result is the right restriction of just integer or just float.

Change-Id: Iaf4054c2b0da0d45289c385287893f6fb13ff516

apmasell/flabbergast,apmasell/flabbergast,flabbergast-config/flabbergast,apmasell/flabbergast,apmasell/flabbergast,flabbergast-config/flabbergast,apmasell/flabbergast,apmasell/flabbergast,flabbergast-config/flabbergast,flabbergast-config/flabbergast,flabbergast-config/flabbergast