Transactional Systems with Generics

Build generic commit/rollback state machines that track resource integrity.