More work on promela DM

changed const of Data subscript operator and introduced at(key) and item(index)