Don't limit types when ensuring idents are defined