Fix #257 nonrec in 4.02
Fix #256 in 4.02 (order of sig extensions)
Fix #258 (warning in p4_quotation)