Adding a doset syntax
Adding the list monad