New operators (almost complete list); lists of formulas.
adding Flex, parsing of formulas working