linmap_insert: needs !wrt?

I seem to need this in certain code for it to typecheck.

It seems to make sense that an insert function would require !wrt.

What is more confusing, if I typecheck the relevant example in  doc/EXAMPLE/ATSLIB, this seems to be unnecessary.