globl type inference: typeof