Add setoid algebra