프로퍼티 시리즈
타입프로퍼티란 타입자체와 연결한 프로퍼티를 말한다.
타입프로퍼티도 저장 타입 프로퍼티와 연산 타입 프로퍼티가 있다.
그리고 저장 타입 프로퍼티는 반드시 초기값이 있어야하며, 처음 액세스할때에는 lazy를 사용한 것처럼 늦게 초기화된다. 다수의 thread에 의해 동시에 액세스 되고 있어도, 한번만 초기화되는 것이 보증되어있어서 lazy라는 ㅋ워드를 사용할 필요가 없다.