Fix pointers, use libcore.

This removes what is now implemented in libcore.

It also fixes the `*const` change.