Fix typos

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Refactor elaborator for supporting overloads

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Minimize use the colors in tests. The colors make the diff hard to read

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add support for overloads in the elaborator

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Remove unnecessary files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add functions for 'updating expressions'. The new functions are used to simplify the elaborator.

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Move elaborator to lean default frontend. It is getting too specific

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add coercion support in the elaborator and pretty printer

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