More incremental translation of bind/function