Rename Formula to FormulaType.

This is to make way for a "Formula" class that will define the data
structure for a series of subclasses. Since "Formula" is one of the
major nouns of your project, it probably deserves its own data type. So
that's what I'm going to look at next.