lifting: Implement NBar properly with multiple nacs