Refinement Monoids, Equidecomposability Types & Boolean Inverse Semigroups