++ 'Cast can never succeed' diagnostics improved - tests
No private constructor in utility classes
++ Type Unifier
++ Erased casts
++ Fix test data
++ Type Unifier