Add __str__ functions for types
Add __str__ for symbols
Implement type annotations for function definitions and function calls without argument type checking
Merge branch 'master' of https://github.com/Jokymon/hpcs