Some error dealing code in type checking.
All error dealing messages.
Correct depth for class tree nodes.
Adding name field for Type.
Fill depth info for all classes.
Small errors.