Agda2Agda: use reify to pretty print sigs and clauses