Simplify nested if-lets in infer-tag
Work on an idea for loop type inference