Interpreter and minimal supercompiler for simple lazy language (first-order functional language) written on Stratego transformation language (Spoofax language workbench).