Rename tt-name-binders-paper to names-for-free-paper
Travis second try