keep up with code changes coming from report review 2
Including latex-agda patch for PiWare.Circuit.par