fix: tr. #496 (imap:Q(a)->Q[a] via p_PermPoly)