Extract Rule.Internal from Infer.Internal
ExprRefs generalized