[experimental - do not merge] Cut startup cost: lazy exports, pay-for-what-you-use imports, deferred model builds

[experimental - do not merge] Cut startup cost: lazy exports, pay-for-what-you-use imports, deferred model builds #624