typechecker bug fixed. Part1 functionality complete. Refactoring pending for vistor classes
devided exprs in subcategories, improved constructor of element checker