improve type inheritance testing