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