Implement variable binding system