Move reverse operator implementions into Function
s/point/mapping in compose methods
Implement BDD iter_zeros/iter_ones