Add abstract supertype