Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq (Logical Methods in Computer Science, 2015)