Update Prelude.h

Cast now only in Type.h