Add type inference for property accesses