report with typing inference rules