Added type inference rules.