Add doc/GRAMMAR