Finish phase -- adding grammars to .maude module