Correct a typo in Prelude.idr

`predefine` was spelled `predifine`