Print type of value when reporting a TYPE-ERROR.
Print type of value when handling CHECK-TYPE.