Add wrapper for passing constants through type inference

It occurred to me that this doesn't have its own PR yet. This is so trivial, let's try to bikeshed the name fairly quickly (we've all had some months to think about this).