Adding implementations to knowledge base, matchers and state machines