Fixes for core->std and changes to `use`