It would be wonderful if someone would write a shell that implemented an LR-parsed language that could be expressed by a yacc grammar, that had equal functionality to dash, and kept the tiny size of dash.

The dash shell is small and fast, and goes places that other shells simply cannot follow.