Text this: Untyping Typed Algebras and Colouring Cyclic Linear Logic