Text this: Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture