Timings for Types.v

Require Export Types.Unit.

Require Export Types.Empty.

Require Export Types.Paths.

Require Export Types.Prod.

Require Export Types.Forall.

Require Export Types.Arrow.

Require Export Types.Sigma.

Require Export Types.Equiv.

Require Export Types.Universe.

Require Export Types.Bool.

Require Export Types.Sum.

Require Export Types.WType.

Require Export Types.IWType.