Model Finished

Today I finished the model part, including DictionaryImpl and all the
test.
The Dictionaries finished yesterday have some bugs and I have fixed
them.
The next thing todo: maybe need to implement the RecordImpl.