extend the eval logic for procedure calls to handle arbitrary numbers of arguments