Ridiculously abstract high-level compiler machinery, for specifying compilers as translations from one annotated IR to another.