varSubst, reifyCase