TODO

TODO:
*High priority*
- reinsert names of sums
- fix bug evalPN of Undef
- review the code for the filling of the universe
- find the right abstraction for Box manipulation
  (more functional, less association lists in the abstraction)
- abstract names and dim (remove hack with {0,1} + ...)
- find a characterization for neutral values
- eta for constructors
- reorganize the primitive notions
  - subst can be defined in terms of transport
  - J in terms of mapOnPath, transport and contractible
- fix showVal for
  - VVar X(x1,...,xn),
  - Kan (remove extra parenthesis), ...

*Undecided priority*
- Quickcheck for box shapes?

*Low priority*
- rudimentary emacs mode (send the current buffer to a process)
- namespacing
- make the import system-independent