We don't need to explicitly "import Prelude"

We had to do this beofre to ensure that things built in the right order,
but now Prelude is in a different package.