Abstract notion of "pre-compiled".

Previously, this has been tied to --target=pir.
Make add_initializations portable to JVM.
Abstract static lexical installation.