Added checks for nested reversed types in composite types