https://github.com/bendlang/bend/blob/main/guide/GUIDE.md bendtt-an-affine-dependent-type-theory.pdf Victor Taelin