Type-1 expanders to add inference rules declaratively.