Implementation of Spiral DSL in Spoofax