myDSL Extensions (deprecated) :: Posting .dsls