Ensure type correctness when using SexpEvaluator