added a note to clarify the relationship between argument layout and type layout
added a note to clarify the relationship between argument layout and type layout

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