Replace Int::sub and Real::sub with definitions

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Define mod and unary minus

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add trigonometric functions

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add hyperbolic functions

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Improve application type mismatch error messages

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Improve application type mismatch error messages