Compiles a checked Souther program to a host-native object, and writes a library and the bindings of it through the generators it finds.