"util.jj" is used to process some specific strings, such as the declaration of a
function with templated types. It is designed to be used as a library funcions.
-"spec_compiler.jj" is the real grammer file to parse the text files and extract
-structured specifications.
+"spec_compiler.jj" is the file to parse the extracted specifications.