Bringing more power to the Core (extensions for SchemeSpheres / Gambit)