Provides type-checking data structures and algorithms.