Finished Empty.scala in our internal DSL