Adic Spaces — Lean blueprint