Fix sub-typing for generic structural types