https://danielmschmidt.de/posts/declarative-dev-environments-with-cdktf/