Docs for internal structure of FuzzyCLIPS