Add inference rules for UNIT and UNIT-A inhabitation
More work on inference rules (broken)
Diagnose bug in new rules
Make types rules tractable
Merge branch 'master' into unit
Filter order monotonicity rules by NLESS hypothesis
Implement OPTIONALLY connective for inference rules
Implement optional succedents in rule compiler
Revert to unoptimized NLESS-monotonicity rules