Type-safe Backus-Naur-Form DSL with semantic actions in C#

Question

I want to make a little domain specific language in C# for a parser generator. Suppose that I used it to make a simple calculator. I want to be able to do something like thi