Symbol: typesequiv