Add input.
Add "export state" menu entry.
Add variable reordering for MaMa programs.