Refined higher level grammar statements and planning doc.