Sanity checks to make sure all operations are implemented

For each concept and enhancement realization, we need to check that it implements all the operations specified by the corresponding concept/enhancement. An appropriate error is thrown if the user fails to implement a specified operation.