Added new evaluateF function, which is strictly more expressive for complex fixed-points. We can now express the waterflow problem!