Allow registering unbound methods of known values for type inference