import Base{} // From Base Add[left, right]. // From Base Add[left: #Number[], right: #Number[]]: #BAdd[a: left