Initial commit - demo of typesafe forms, validation rules and the Maybe type