Adjust printing of pis/sigmas
Properly handle multiple declarations

- For now, Main just reads a .tt file (until I get options working)
- Also added shitty syntax for function application (I suck at parsers)
Add example file