Fix abstractors for nested builtin submodules
type:fixed
For LIGO developers
Some of the logic used for built-in modules was left in the abstractors, and it prevents nested modules.
This MR cleans up the built-in module list, and improve the handling to support nested modules (i.e. a module inside a module such as Tezos
).
Changelog details: