Fix so example compiles.
Document two failure cases from QC.
Port to latest QC.
Use _0 from dimensional-0.12.