Update readme
Fix DSL spec
Implement with validation