SliceStore and SliceGuarantor compile, still in the works