The Second Futamura Projection for Type-Directed Partial Evaluation