More compact debug output
add printing telescopes
comment out some debug code (too verbose)
Eliminator generation works for higher-order parameters in constructors (no computational content yet)
updated computational content for constructors with high-order params
changed the logo again
New example that runs the normalizer into a loop (for non strictly positive types).