fixed new type inference rules for mutability - tests pass!