Update Mantle.
Move some stuff out into Mantle.