Add bindings and unfolding.