More send/give receive/grab renaming.
Stop assuming type structure that hasn't yet been inferred.