Add a trait for evaluating spreadsheet formulas

It's still incomplete, in that it defines no operations of its own. That
will come later.