Add BadImplementationError to __init__.py
Implement preferred extensions, raise BadImplementationError if minimal fixpoint not found in grounded extension
More test stubs, also raise NotImplementedError if test is not written