Added checks for field redifinitions in type declarations