* Add type inference rules