Detailed error message for tic-errors

[tmteam]

Cover cases:

• invalid function argument
• invalid operator argument
• incorrect assignment
• invalid return type