Adapted GUI for ID on models
Moved stateVars to Thing
Added init and goal to stateVar of types depending on kind
Brought auto scroll back
Not done yet: model<->SPSpec role swap and op conditions