Refinement monoids, equidecomposability types, and Boolean inverse semigroups. (2017)