added TyList to Ty