Implement Formula, parser and pretty printer for it.