

Propagates shape information from input types through 
point-free code. Currently only implemented for a subset 
of the language and for regular vector shapes. Because
of the presence of iota (to dynamically allocate vectors)
process is, in general undeciable, however, in practice
iota usually depends on the length of something else which
can be known.

