Update Prelude to support changes to FFunction