TypeSpec::str ==> TypeSpec::typestr

Llamaremos 'typestr' a una representación textual de un tipo, en todos lados.