Remove Js, Belt, Pervasives from the application scope

[DZakh]

That would be really nice to have, otherwise, we are going to have Core and another three modules mixed in one project. That's the biggest reason why I've created https://github.com/DZakh/rescript-stdlib-vendorer

[zth]

Hmm, could you expand on what you mean? I don't quite follow.

[DZakh]

Even though there's Core now, that resolves the argument about whether you should use Js or Belt. The Js and Belt are still available for use, so big projects with multiple developers will end up having Core, Js, and Belt used in different places. What I ask for is a way to turn off Js and Belt so it would be impossible to use them whatsoever.

[jmagaram]

I've been using Core. This is confusing to see. Which is which?