Finished the implementation of Type::getAlterDefinition

Minor adjustments on the model db diff process.