Relayer ADR (dependencies, requirements, config, client, connection), english and TLA+ spec for relayer (client and connection). Prototype code for relayer and modules.