A most complete prelude formed from the "base" package