Add doc explaining Axiom::Function::Binary#type