Comment 7 for bug 1905512

The defknown is already

(defknown (memq assq) (t proper-list) list (foldable flushable))

I guess we should make it perform the check for propriety before applying any transforms. (Compare the behavior with assq, which doesn't have a transform).