Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact)