more modifications to tycheckexp concerning constructors