Update reflection test
Propagate expected type in a t/fn if it looks unannotated.