Validate user entered formulae using the tokeniser
We can probably use the tokeniser to sanity check formulae entered by users. This should pick up unknown function names and common formatting mistakes such as using ";" instead of "," to separate parameters.