Update to function argument validation. Needed to account for &rest and when it is not supplied. Also minor updates to SA and Eval.