Time defined in separate header.

Choreograph.h from .hpp. Using hpp to denote template headers.