Starting bootstrap type inference. Infer type of primitives.