Added case studies. Fixed -> right-assoc. Fixed misc grammar & lexer errors.