a few tweaks for binary trees and for AMSs as there were mistakes in the combinatorial maps