The top-level compiler driver redesigned, but not completed.