Add time spans function
Remove time example

Will do better ones later.
Remove NoMonomorphismRestriction
Add strict sformat function