Add various tests related to projecting from a HRTB.
WIP -- fix handling of higher-ranked trait bounds and instantiation, also patch up builtin bounds a bit