Add set notation to crank
Add datetime header to Crank