Adding names to grammar-ideal and grammar-orig, working on design.txt, and adding checkmarks to README