[Proposal] Prefer explicit module paths in imports over * and prelude imports

[facundoolano]

Explicit module imports are more readable and help to make a better mental model of the project structure when reading modules that import the code.

(this applies to users of this library such aleo and snarkOS as much as this project)