Add stubs for different semantics
Add conflict_free and admissible methods and docstrings for extensions