small changes to DSL
dsl -> foo
paper -> case tool, first steps