A run-time type assertion library.