Expose some type inference utility methods as functions