Fuzzy types: A new concept of type for managing vague structures