binding to arbitrarily complex expressions is now implementable