Improve simplification of simple let-tuples, remove MBQI warnings