Worked more on the constructors in tycheckexp