OpenCog Rework s-expression database