SAWScript: allow type annotations on lhs of let/rec declarations
SAWScript: allow type annotations on lhs of let/rec declarations

e.g. "let foo (x : String) : JavaSetup () = rhs"

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