Then we should probably expose it under a different name. For simplicity, it really just wants (prob, [syms...], newp) and return the prob of with the extended types, where newp is a vector matching the ordering of syms.
Then we should probably expose it under a different name. For simplicity, it really just wants (prob, [syms...], newp) and return the prob of with the extended types, where newp is a vector matching the ordering of syms.