Implementada inferência de SubClassOf