some progress on new transition function syntax
finish handwritten ids model
some more refactoring and cleanup
more refactoring