Implement type captures in signature binder.