Added a comment describing the code for gensym in KnowledgeConstructor.h