implements 
1)TypesManager :
- new type
- new subtype
- add attribute
- new instance

2)refactor ihm