This DSL is used for Gazelle smart contracts here. With this DSL, developers can define new deprecation conditions that can be used with Plasma. The full guide is coming soon.