External functions for diameter estimation.
Print more argument types in NEW_AXIOMS.
Merge branch 'master' of github.com:flavioc/meld into flavio