Add get_uvar method

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Allow Boolean expressions (aka propositions) to be used as types.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add definitions and facts

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