algebraic: first whack at stringification