all `reify_foo` functions have the signature  `reify_foo(term, substitution)`.  This one looks odd.