Strict typing of form elements

Convert input elements to dropdowns, where the set of possible options is finite and reasonably small. Add type checks for date fields.