A hierarquia OATH foi desenhada por forma a reflectir relações de subtipificação entre os tipos que representa. O uso de herança C++ para subtipificação está estritamente separada da versão executável do código ou dos mecanismos de reutilização. Esta aproximação possibilita independência da hierarquia em relação ao código executável e uma melhor exploração do polimorfismo por subtipificação.
Ao contrário de C++, onde o polimorfismo é frequentemente obtido por recurso a (void *), OATH fornece uma determinação dinâmica de tipos sob a forma de casts seguros. A conversão de um tipo para outro (derivado do primeiro), retorna o objecto, se este for do tipo derivado, ou Nil, se não for. A função de Nil é semelhante à do ponteiro nulo de C++.