Implement name binding in sema.