Added messages to error function
Arithmetic and if-expressions
Arithmetic and if-expressions
Multi-way if
Type signature translation