Return the types of arguments as well as their labels from `w4Solve`.
Return the types of arguments as well as their labels
from `w4Solve`.

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