More work on FormHandler, but may be a dead end.

Added a few functions in Date.idr.