Added right-associative operator overloads to Formula