WIP: addcom. inferring bindingness.