Open source framework for building robust type-safe distributed systems with declarative infrastructure