Experiments with defining the Rascal Core operational semantics using PLT Redex.