Stmt package:Agda

Build a with-statement
Build a do-statement