Fixed inference rules - all tests now passing. Added optional element counting test for ext sets as experiment. Adjusted a test case.