Remove re-exports of standard prelude definitions

The definitions in the standard prelude that were hidden by a bug in the
identifier resolution are now visible, which means that the re-exports
are no longer necessary.