Add inference rules for UNIT and UNIT-A inhabitation