Clearly, we need to use header files to define our semantic comments as types with inheritance.