Created an Assertion interface for different types.
Condensed Concept update() methods into one method.