Add Prelude import in Types for doctests