Finite Difference WENO Schemes with Lax--Wendroff-Type Time Discretizations | Synapse