A DSL implemented in PHP