Named types and strict compile time type checking are a large part of it. Member access protection is a modest part.