utility: fix header guards in IO headers
agile: add spike for concept problems with inheritance
agile: update Add is comparable to SML
sml: fix concept bug when using inheritance

- bug happens when a base class models a concept, and a derived class
  models a refinement of that concept; a duplication of properties
  occurs.
- current implementation is only a quick hack