Make this model loader work again
validate new change from model loader
use numbers for flags and abbreviate "satisfies" for #331
make it obvious that the JSON module loader is being used
won't encode tuples in a special way anymore.