Semantics of S-Expression based SCEL, implemented in PLT Redex