Basics

Computing with statically differentiable but unknown dimensions, a la subhask