Adds subtyping for filters, and fixes -FS to be more precise.

Closes PR 12817.
Make +,*,min,max support precise unary types.

Closes PR 13563.
Turn dynamic-requires into lazy-requires in TR.

Closes PR 13621.