Fixes to DSL

BST example is about ready for the paper