Ascribe in syntax
Naming the branch properly
factored universe printing
shift during lookup
fixed substitution into abstractions
bug in equal for Pi, reorganization
Yet another shifting bug