A DSL for validating form submissions