code refactoring, deadlock elimination, object shadowing, bug fixing
Reworked type scheme validation. Object hierarchy.
Object hierarchy navigation from DSL. Improved array type-scheme checking