Move nasty Prelude overrides to SymbolicPrelude.