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