Don't include Prelude in every file

Or do, and selectively import bits of it we need.