removed redundant code, worked on the handling of constructors in tycheckexp