#lang plait
eval({+ E1 E2}) = eval(E1) + eval(E2)
                    if eval(E1) and eval(E2) are numbers
                    otherwise error!