Add grammar, transforms, and proto-eigen problem demo
Calculator solution