Refinement Monoids Equidecomposability Types and Boolean Inverse Semigroups