Add IReasoning interface as fasade for whole library