Make Typed Racket build with contracts again
Adjust contract on make-pred-ty

Allow old-style and new-style filter path objects.