Improved user input handling with validators.
Added dirty info data structure to syntax doc.