Progressives are now rendered as fluents.