Moved print visitor to print package.
No more type methods in expression.
Accept visitors for value types which collect the types.
No more generalized toString for unaries.
New visit methods.
WIP start of type checker.
Updated todo
Merge branch 'martyn82'