型安全とは?