Allow empty tuple patterns in `let` declarations.
Allow empty tuple patterns in `let` declarations.

E.g. `let f () = print "foo"`

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script