Tipagem baseada em classes mais rigorosa para objectos