Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups (Lecture Notes in Mathematics, Band 2188)