refactor. tuple and enum assign checks
Type can be a tuple we have to use Any
factor out guesstype. tuple assignment checks
Better test progress report
Demonstrate tuple types in for-loop and assignment
refactor guess type out