Recursive enumeration for One, Zero and Bool; supweight using functions.