infer-tag/box fixes for invokePrim