Types are weak ω‐groupoids