finished eval for tuple, sum, let, and case expressions