models/elevator: commit before autogen
models/elevator: added generator
models/elevator: added .ord, extra properties, etc.
paper: stubs for subproblems