deprecated tyConString

changed tyConString to tyConName