added colors for miniKanren keywords