major changes to form validation (from, "almost not implemented" to "implemented")

minor changes of types and names