Knowledge Representations+MORK (MeTTa Optimized Reduction Kernel)+github