Simulating Membrane Systems and Dissolution in a Typed Chemical Calculus