Finished component, now debug
Implemented shortener; fixed bug with missing parenthies when printing terms
Minor fixes