Implement RefType with silent unreferencing
Do not pretty print casts
Make VarExpression have RefType type
Allow returning a chain of cast functions
Allow casting from int& to double
Fix type error reporting in return statement
Add builtin truncation function from double to int