Yes, you are right, we can move this logic into `reifyFreeTerm` directly