Add union type duplicate check
Add some test cases for checker