5c: Compiler Backend & Prettyprinter

(To be documented)