subtract package:optics-core

subtracting n = iso (subtract n) ((+n)
subtracting n = re (adding n)