improve error message, get rid of latin abbreviation
Restrict exports
Get rid of solver initialization hacks
Expose the solver
Remove native-modules field