On Inter-Deriving Small-Step and Big-Step Semantics: {{A}} Case Study for Storeless Call-by-Need Evaluation