new typeexpansion method now in arithmetic expr