Non-wellfounded proof theory for (Kleene+action)(algebras+lattices)