Removing unneccessary prelude definitions.