booleanwidth and reconsttruction implemented
todo: fix boolcost reconstruction