Text this: Rule Algebras for Adhesive Categories