Non-Structural Subtype Entailment in Automata Theory