Simple declarative web forms using FormEncode