Timings for Pos.v

Require Export HoTT.Spaces.Pos.Core.

Require Export HoTT.Spaces.Pos.Spec.